1. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
2. Algebraic and proof-theoretic aspects of non-classical logics
المؤلف: / Stefano Aguzzoli ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mundici, Daniele,--1946,Nonclassical mathematical logic.
رده :
QA
,
9
.
4
,.
A44
,
2007
3. An Introduction to Non-Classical Logi
المؤلف: / [electronic resource]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic.,Philosophy.,Electronic books.
4. An introduction to non-classical logic
المؤلف: Priest, Graham, 8491-
المکتبة: (طهران)
موضوع: ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
5. An introduction to non-classical logic
المؤلف: Priest, Graham
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
6. An introduction to non-classical logic
المؤلف: Priest, Graham.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Nonclassical mathematical logic,، Logic
رده :
QA
9
.
4
.
P7I5
7. An introduction to non-classical logic : from if to is
المؤلف: Priest, Graham, 8491-
المکتبة: (طهران)
موضوع: ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
2008
8. An introduction to non-classical logic : moving about in worlds not realised
المؤلف: Priest, Graham.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
9. Essays on Non-Classical Logic
المؤلف: \ Editor Heinrich Wansing
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
10. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
11. Essays on non-classical logic
المؤلف: / editor, Heinrich Wansing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
12. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
13. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: (طهران)
موضوع: ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E83
14. Inconsistent Mathematics
المؤلف: by Chris Mortensen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
15. Interval/probabilistic uncertainty and non-classical logic
المؤلف: / Van-Nam Huynh ... [et al.], (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Uncertainty (Information theory)--Congresses,Nonclassical mathematical logic--Congresses
رده :
Q
,
375
,.
I57
,
2008
16. Labelled non-classical logics
المؤلف: by Luca Vigano.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Nonclassical mathematical logic.
رده :
QA9
.
B958
2011
17. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
المؤلف: J. Van Eijck )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
18. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
المؤلف: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
19. Neutrality and many-valued logics /
المؤلف: Andrew Schumann [and] Florentin Smarandache.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Many-valued logic.,Nonclassical mathematical logic.,Logic.,Many-valued logic.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Nonclassical mathematical logic.
رده :
QA9
.
45
20. Non-classical logics, model theory, and computability
المؤلف: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
